Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
31	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
32	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
33	Optimal growth for linear processes with affine control Vincent Calvez∗ Pierre Gabriel†‡ March 22, 2012 Add to Reading List Source URL: pgabriel.perso.math.cnrs.fr Language: English - Date: 2012-03-22 11:09:27 Algebra Mathematics Matrix theory PerronFrobenius theorem Eigenvalues and eigenvectors Constructible universe Dynamical system HamiltonJacobi equation Differential forms on a Riemann surface
34	Frobenioids Frobenioids Weronika Czerniawska The Univeristy of Nottingham Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2015-12-12 14:59:11 Algebra Abstract algebra Mathematics Algebraic geometry Field theory Vector bundles Divisor Algebraic number field Frobenioid Constructible universe Valuation Homomorphism
35	1 Endurants and perdurants in directly depicting ontologies Thomas Bittner a Maureen Donnelly a Barry Smith a,b Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-09 19:57:54 Ontology Philosophy Metaphysics Academia Information science Knowledge representation Technical communication Constructible universe Temporal parts Formal ontology
36	577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Mathematics Abstract algebra Algebra Field theory Modular forms Algebraic geometry Valuation P-adic modular form Constructible universe P-adic number P-adic L-function Elliptic curve
37	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
38	frobenioidspdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2015-11-28 19:00:00 Constructible universe IP Model theory Mathematics Creativity Logic Principia Mathematica
39	THE DAUGAVET EQUATION FOR BOUNDED VECTOR VALUED FUNCTIONS ´ ´ STEFAN BRACH, ENRIQUE A. SANCHEZ PEREZ Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2016-02-16 11:29:51 Operator theory Mathematical analysis Mathematics Theoretical physics Symbol Constructible universe Compact operator Compactness theorem Linear temporal logic NeumannPoincar operator
40	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net

UPDATE